منابع مشابه
Jiffy: A Lightweight Jini File System Service
Jiffy is a distributed file system implemented to take advantage of Sun Microsystems’s Jini Technology. This paper contains quantitative results gathered from an experiment that compared the performance of Jiffy against the Andrew File System. The experiment compared the two file systems using several workloads and several simultaneous clients in order to determine the scalability of the system...
متن کاملPop-Refinement
Pop-refinement is an approach to stepwise refinement, carried out inside an interactive theorem prover by constructing a monotonically decreasing sequence of predicates over deeply embedded target programs. The sequence starts with a predicate that characterizes the possible implementations, and ends with a predicate that characterizes a unique program in explicit syntactic form. Compared to ex...
متن کاملDetecting the Transition From Pop III to Pop II Stars
We discuss the cosmological significance of the transition from the Pop III to Pop II mode of star formation in the early universe, and when and how it may occur in primordial galaxies. Observations that could detect this transition include those of element abundances in metal-poor Galactic halo stars, and of the helium reionization and associated heating of the intergalactic medium. We suggest...
متن کاملDo People “Pop Out”?
The human body is a highly familiar and socially very important object. Does this mean that the human body has a special status with respect to visual attention? In the current paper we tested whether people in natural scenes attract attention and "pop out" or, alternatively, are at least searched for more efficiently than targets of another category (machines). Observers in our study searched ...
متن کاملRace: Deflate or pop?
Neven Sesardic has recently defended his arguments in favour of racial naturalism-the view that race is a valid biological category-in response to my criticism of his work. While Sesardic claims that a strong version of racial naturalism can survive critique, he has in fact weakened his position considerably. He concedes that conventional racial taxonomy is arbitrary and he no longer identifies...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2016
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.aah6493